منابع مشابه
Metrical Diophantine approximation for quaternions
The metrical theory of Diophantine approximation for quaternions is developed using recent results in the general theory. In particular, Quaternionic analogues of the classical theorems of Khintchine, Jarnı́k and Jarnı́k-Besicovitch are established. Introduction Diophantine approximation begins with a more quantitative understanding of the density of the rationals Q in the reals R. The starting p...
متن کاملMetrical Quantization *
Canonical quantization may be approached from several different starting points. The usual approaches involve promotion of c-numbers to q-numbers, or path integral constructs, each of which generally succeeds only in Cartesian coordinates. All quantization schemes that lead to Hilbert space vectors and Weyl operators—even those that eschew Cartesian coordinates—implicitly contain a metric on a ...
متن کاملLargeness and Sq-Universality of cyclically Presented Groups
Largeness, SQ-universality, and the existence of free subgroups of rank 2 are measures of the complexity of a finitely presented group. We obtain conditions under which a cyclically presented group possesses one or more of these properties. We apply our results to a class of groups introduced by Prishchepov which contain, amongst others, the various generalizations of Fibonacci groups introduce...
متن کاملOn a Universality Property of Some Abelian Polish Groups
We show that every abelian Polish group is the topological factor-group of a closed subgroup of the full unitary group of a separable Hilbert space with the strong operator topology. It follows that all orbit equivalence relations induced by abelian Polish group actions are Borel reducible to some orbit equivalence relations induced by actions of the unitary group.
متن کاملA Framework for Decidable Metrical Logics
We propose a framework for deening decidable temporal logics. It is strong enough to deene in it all the decidable temporal logics that we found in the literature. We use as semantics the standard model of the positive real line and we use robust logical notions and techniques.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Forum Mathematicum
سال: 2020
ISSN: 1435-5337,0933-7741
DOI: 10.1515/forum-2018-0226